永升城基础大体积混凝土施工的裂缝预控

基础大体积混凝土施工的裂缝控制 ,从分析产生裂缝的原因来阐述 ,将冷缝作为结构性裂缝来预控     

大功率CO2激光器脉冲电源研究

本文论述了直流高压与高频脉冲电源相叠加，构成高频、高压脉冲电源，并使其对CO2激光器进行放电实验，研究了同条件下的放电参数与功率。     

一种实现最佳用户检测的非线性优化神经网络

本文提出并讨论了实现码分多址（CDMA）系统上最佳多用户检测（MUD）的一种神经网络方法。该方法通过将最佳多用户检测视为非线性优化组合问题，利用神经网络能有效求解非线性优化问题的优势，导出了一种非线性优化神经网络来实现最佳多用户检测，理论分析和计算机模拟表明，所提出的神经网络具有可实时应用的动态性能和较传统方法优越得多的误码率性能和抗多址干扰的性能。     

双极关键工艺的在线统计分析

采用了双极晶体管作为双极工艺的测试结构,将在线工艺的统计分析理论应用于双极工艺,研制了双极工艺的统计分析软件。最后给出了双极工艺的某些分析结果。     

THE STATISTICAL DISTRIBUTION OF EXTREME VALUES OF WAVE-CURRENT FORCES ACTING ON SLENDER CIRCULAR CYLINDER IN IRREGULAR WAVES

Based on model test,the statistical distribution of extreme values of wave-current in-line forces acting on vertical circular cylinder is analyzed in this paper.It is shownthat the results calculated by the simplified method,proposed by authors,agree well with the testdata;Weibull distribution is also adoptable in the region of high KC number, and the shapeparameter a and scale parameter β are related well with KC number respectively.     

双滑动氧枪的应用

叙述了φO114双焊缝氧枪存在的问题及改型后单焊缝双滑动氧枪的优点及使用效果。     

国防计量工作改革的探讨

阐述了国防计量与民用计量的差别，计量工作的原动力以及对国防计量工作改革的探讨。     

Specification,Verification and Prototyping of an Optimized Compiler

This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existing contents of registers where possible and the identification of common expressions. A register table is introduced in the compiling specification predicates to map each register to an expression whose value is held by it. We define different kinds of predicates to specify compilation of programs, expressions and Boolean tests. A set of theorems relating to these predicates, acting as a correct compiling specification, are presented and an example proof within the refinement algebra of the programming language is given. Based on these theorems, a prototype compiler in Prolog is produced.     

Engagement of T cell receptor triggers its recruitment to low-density detergent-insoluble membrane domains

T-cell receptors (TCRs) upon binding to peptide-MHC ligands transduce signals in T lymphocytes. Tyrosine phosphorylations in the cytoplasmic domains of the CD3 (gammadeltaepsilon) and zeta subunits of the TCR complex by Src family kinases initiate the signaling cascades via docking and activation of ZAP-70 kinase and other signaling components. We examined the role of the low-density detergent-insoluble membranes (DIMs) in TCR signaling. Using mouse thymocytes as a model, we characterized the structural organization of DIMs in detail. We then demonstrated that TCR engagement triggered an immediate increase in the amount of TCR/CD3 present in DIMs, which directly involves the engaged receptor complexes. TCR/CD3 recruitment is accompanied by the accumulation of a series of prominent tyrosine-phosphorylated substrates and by an increase of the Lck activity in DIMs. Upon TCR stimulation, the DIM-associated receptor complexes are highly enriched in the hyperphosphorylated p23 zeta chains, contain most of the TCR/CD3-associated, phosphorylation-activated ZAP-70 kinases and seem to integrate into higher order, multiple tyrosine-phosphorylated substrate-containing protein complexes. The TCR/CD3 recruitment was found to depend on the activity of Src family kinases. We thus provide the first demonstration of recuitment of TCR/CD3 to DIMs upon receptor stimulation and propose it as a mechanism whereby TCR engagement is coupled to downstream signaling cascades.     

钨合金的各向异性及残余应力测试的可行性

Ｘ射线分析显示钨合金经旋锻后存在着择优取向性，据此探讨了残余应力测定的可能性，考察加工状态对不同晶面的应力常数和弹性模量的影响，实验表明选用ＣｏＫａ－（２２２）虽有织构干扰产生衍射强度的反常分布，但不破坏２θ与Ｓｉｎ＾２ψ的直线关系，仍适合应力测试。比较而言，选用ＦａＫａ－（３１０）可避免织构的影响。且因谱线尖锐，峰强度高更于实际测试，随着表面加工程度增加，半高宽值增大，应力常数值减小，弹性模量因